Corvette: Program Correctness, Verification and Testing for Exascale Koushik Sen and James Demmel (UC Berkeley) 1. Motivation q  High performance scientific computing"

Source URL: crd.lbl.gov

PARTITIONING HYPERGRAPHS IN SCIENTIFIC COMPUTING APPLICATIONS THROUGH VERTEX SEPARATORS ON GRAPHS ‡ , AND CEVDET AYKANAT§ ¨ ¨ ENVER KAYAASLAN∗ , ALI PINAR† , UMIT

Source URL: www.sandia.gov

spcl.inf.ethz.ch @spcl_eth TORSTEN HOEFLER, ROBERTO BELLI Scientific Benchmarking of Parallel Computing Systems

Source URL: spcl.inf.ethz.ch

The 15th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations September 23–29, 2012, Novosibirsk, Russia

Source URL: conf.nsc.ru

A tour of ParallelAccelerator.jl A Library and Compiler for High-Level, High-Performance Scientific Computing in Julia Lindsey Kuper

Source URL: www.cs.indiana.edu

Patheon: Exascale File System Search for Scientific Computing Joseph L. Naps, Mohamed F. Mokbel, and David H. C. Du Department of Computer Science and Engineering University of Minnesota, Minneapolis, MN, USA {naps, mokb

Source URL: ssdbm2011.ssdbm.org

A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/

Source URL: pycx.sourceforge.net

• Software
• Computing
• Application software
• Simulation software
• Multi-agent systems
• Simulation
• Systems theory
• Scientific modeling
• Repast
• NetLogo
• Matplotlib
• Agent-based model

Visual Analytics Support for Intelligence Analysis ¨ ⇤ Carsten Gorg Youn-ah Kang†

Source URL: www.zcliu.org

• Visualization
• Computing
• Academia
• Computational science
• Computer graphics
• Infographics
• Scientific modeling
• Information
• Visual analytics
• Business intelligence
• Information visualization
• Analytics

Release 7.0 Josef Brüderl, Kristin Hajek, Michel Herzig, Bernadette Huyer-May, Rüdiger Lenke, Bettina Müller, Philipp Schütze, Nina Schumann University of Munich (LMU)

Source URL: www.pairfam.de

• Data
• Computing
• Data analysis
• Scientific method
• Questionnaire
• Data editing
• Data set
• Information

Scientific Benchmarking of Parallel Computing Systems Twelve ways to tell the masses when reporting performance results Torsten Hoefler Roberto Belli

Source URL: spcl.inf.ethz.ch

• Statistics
• Descriptive statistics
• Means
• Summary statistics
• Median
• Normal distribution
• Standard deviation
• Geometric mean
• Data transformation
• Mode
• Confidence interval
• Central tendency